Jürgen Ernst's Documents

Jürgen Ernst's Documents

Real-Time Systems: Formal Specification and Automatic Verification

Real-Time Systems: Formal Specification and Automatic Verification
Read more
Computer Science -- Theory and Applications: 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010, ... Computer Science and General Issues)

Computer Science -- Theory and Applications: 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010, ... Computer Science and General Issues)
Read more
Fundamental problems in statistical mechanics VIII

Fundamental problems in statistical mechanics VIII
Read more
Correct System Design

Correct System Design
Read more
Das Strategikon des Maurikios (Griechisch-Deutsch) (Corpus Fontium Historiae Byzantinae - Band 17)

Das Strategikon des Maurikios (Griechisch-Deutsch) (Corpus Fontium Historiae Byzantinae - Band 17)
Read more
Phagocytosis of Bacteria and Bacterial Pathogenicity (Advances in Molecular and Cellular Microbiology)

Phagocytosis of Bacteria and Bacterial Pathogenicity (Advances in Molecular and Cellular Microbiology)
Read more
Selected Aerothermodynamic Design Problems of Hypersonic Flight Vehicles

Selected Aerothermodynamic Design Problems of Hypersonic Flight Vehicles
Read more
Square-Wave Voltammetry: Theory and Application

Square-Wave Voltammetry: Theory and Application
Read more
The Age of Federalism

The Age of Federalism
Read more
Board Simulator Series: Body Systems Review: General Principles in the Basic Sciences

Board Simulator Series: Body Systems Review: General Principles in the Basic Sciences
Read more
Boundary Spanning Leadership: Six Practices for Solving Problems, Driving Innovation, and Transforming Organizations

Boundary Spanning Leadership: Six Practices for Solving Problems, Driving Innovation, and Transforming Organizations
Read more
Kultur, Raum, Landschaft: Zur Bedeutung des Raumes in Zeiten der Globalitat (German and English texts, Spanish abstracts)

Kultur, Raum, Landschaft: Zur Bedeutung des Raumes in Zeiten der Globalitat (German and English texts, Spanish abstracts)
Read more
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September
Read more
Das Problem Epsilon

Das Problem Epsilon
Read more
Grey Wisdom?: Philosophical Reflections on Conformity and Opposition between Generations

Grey Wisdom?: Philosophical Reflections on Conformity and Opposition between Generations
Read more
The Synchronisation of Civilisations in the Eastern Mediterranean in the Second Millennium BC III

The Synchronisation of Civilisations in the Eastern Mediterranean in the Second Millennium BC III
Read more
Haus und Stadt im klassischen Griechenland

Haus und Stadt im klassischen Griechenland
Read more
100 Volumes of 'Notes on Numerical Fluid Mechanics': 40 Years of Numerical Fluid Mechanics and Aerodynamics in Retrospect (Notes on Numerical Fluid Mechanics and Multidisciplinary Design)

100 Volumes of 'Notes on Numerical Fluid Mechanics': 40 Years of Numerical Fluid Mechanics and Aerodynamics in Retrospect (Notes on Numerical Fluid Mechanics and Multidisciplinary Design)
Read more
Design Engineering: A Manual for Enhanced Creativity

Design Engineering: A Manual for Enhanced Creativity
Read more
EU Emissions Trading

EU Emissions Trading
Read more
RNA Towards Medicine (Handbook of Experimental Pharmacology)

RNA Towards Medicine (Handbook of Experimental Pharmacology)
Read more
Mobility and Place

Mobility and Place
Read more
Management of Sepsis: the PIRO Approach

Management of Sepsis: the PIRO Approach
Read more
The Long Earth

The Long Earth
Read more
Twelve Millennia: Archaeology of the Upper Mississippi River Valley (Bur Oak Book)

Twelve Millennia: Archaeology of the Upper Mississippi River Valley (Bur Oak Book)
Read more
Saunders Equine Formulary

Saunders Equine Formulary
Read more
The Corruption - An Economic and Social Analysis

The Corruption - An Economic and Social Analysis
Read more
Veroverd met kerst

Veroverd met kerst
Read more
İkinci Abdülhamid'in İslam birliği siyaseti

İkinci Abdülhamid'in İslam birliği siyaseti
Read more
The Euroschool Lectures on Physics with Exotic Beams

The Euroschool Lectures on Physics with Exotic Beams
Read more